Real Homotopy Theory of Semi-algebraic Sets
نویسنده
چکیده
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of “semi-algebraic differential forms” in a functorial way. This algebra encodes the real homotopy type of the semialgebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed for Kontsevich’s proof of the formality of the little cubes operad.
منابع مشابه
Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial
In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the boolean operations (complementation, finite unions and finite intersections). We ...
متن کاملOn the number of homotopy types of fibres of a definable map
In this paper we prove a single exponential upper bound on the number of possible homotopy types of the fibres of a Pfaffian map in terms of the format of its graph. In particular, we show that if a semi-algebraic set S ⊂ Rm+n, where R is a real closed field, is defined by a Boolean formula with s polynomials of degree less than d, and π : Rm+n → Rn is the projection on a subspace, then the num...
متن کاملOn Homotopy Types of Limits of Semi-algebraic Sets and Additive Complexity of Polynomials
We prove that the number of homotopy types of limits of oneparameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifierfree first order formula defining the family. As an important consequence, we derive that the number of homotopy types of semi-algebraic subsets of R defined by a quantifier-free first o...
متن کاملComputing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane
Given a set of semi-algebraic obstacles in the plane and two points in the same connected component of the complement, the problem is to construct a polygonal path between these points which has the minimum number of segments (links) and the minimum`total turn', that is the sum of absolute values of angles of turns of the consecutive polygon links. We describe an algorithm that solves the probl...
متن کاملReal Spectrum and the Abstract Positivstellensatz
Algebraic geometry emerged from the study of subsets of C defined by polynomial equations, namely algebraic sets. Parallel to this, real algebraic geometry emerged from studying subsets of R defined by polynomial equations and inequalities, namely semi-algebraic sets. Like algebraic geometry, classical methods in real algebraic geometry provided useful but limited intuition on the relationship ...
متن کامل